在 Elixir 中，数据处理遵循两种截然不同的哲学： 贪婪 （急切的）和 惰性。理解两者之间的权衡对于内存效率和系统稳定性至关重要。
1. 可枚举协议
从技术上讲，能够被迭代的对象被称为实现了 可枚举协议。这一通用契约使得不同种类的数据结构可以使用同一组函数。
2. 贪婪与惰性模块
而 Enum 模块是 贪婪的。它可能会立即消耗集合中的所有内容，并在每个管道步骤中创建中间列表。相反， Stream 模块是 惰性的。下一个值仅在需要时才计算 仅 时才会被计算。
3. 规范与结果
一个 Stream 值 是我们意图的规范，而非实际结果。Streams 是可枚举且可组合的，允许你叠加变换操作，而无需立即执行工作，直到将 Stream 传递给如 Enum.to_list/1这样的“急切”目标时为止。
4. 范式纯粹性
混合范式（函数式与面向对象）会削弱函数式方法带来的优势。为了更高的可预测性，应优先使用声明式变换而非命令式循环。
main.py
TERMINALbash — 80x24
> Ready. Click "Run" to execute.
>
QUESTION 1
What happens when you pass a collection to the
Enum module?It creates a lazy recipe for later execution.
It potentially consumes all contents immediately and returns a result.
It returns a Stream struct containing the function logic.
It converts the data into an object-oriented class.
✅ Correct!
Correct! Enum is greedy, meaning it realizes the entire result immediately.❌ Incorrect
That describes the Stream module. Enum is 'greedy' and processes data immediately.QUESTION 2
Which statement best describes a 'Stream' in Elixir?
A realized list of integers.
A specification of intended work, not the result itself.
A faster version of Enum for small lists.
A specific type of Map used for key-value storage.
✅ Correct!
Exactly. Streams are recipes or specifications that define work to be done later.❌ Incorrect
Streams do not hold results; they hold the logic to generate results on demand.QUESTION 3
Why would you choose Stream over Enum for a 10GB text file?
Enum cannot read files.
Stream executes faster for small datasets.
Stream processes data line-by-line, preventing memory exhaustion.
Stream automatically sorts the file contents.
✅ Correct!
Yes! Lazy processing avoids loading the whole file into RAM at once.❌ Incorrect
Enum would attempt to load the entire 10GB into memory, likely crashing the VM.QUESTION 4
According to the lesson logic, what is a danger of mixing functional and OO paradigms?
It makes the code run significantly faster.
It dilutes the benefits of the functional approach.
It is required for the Enumerable protocol.
It allows Elixir to run on the JVM.
✅ Correct!
Right. Paradigmatic purity helps maintain clarity and functional predictability.❌ Incorrect
Actually, the text states it dilutes the benefits of functional programming.QUESTION 5
What is the requirement for a data type to be usable with Enum and Stream modules?
It must be a binary string.
It must implement the Enumerable protocol.
It must be smaller than 1MB.
It must be a recursive Keyword list.
✅ Correct!
Correct! The Enumerable protocol is the universal interface for collections.❌ Incorrect
Any structure implementing the Enumerable protocol can be used.Module Challenge: Prime Sequences & String Cleaning
Applying greedy and lazy transformations to complex data tasks.
You are tasked with generating mathematical sequences and cleaning messy user input. You must use list comprehensions and high-level string functions to achieve efficient results.
Q
1. Using your previously written 'span' function (which returns a list from 2 to n), use list comprehensions to return a list of the prime numbers from 2 to n.
Solution:
Model Solution: elixir def primes_up_to(n) do range = span(2, n) for x <- range, is_prime?(x), do: x end defp is_prime?(2), do: true defp is_prime?(n) when n < 2, do: false defp is_prime?(n) do Enum.all?(2..round(:math.sqrt(n)), fn x -> rem(n, x) != 0 end) end This uses the span function as a generator and a filter predicate to identify primes.
Model Solution: elixir def primes_up_to(n) do range = span(2, n) for x <- range, is_prime?(x), do: x end defp is_prime?(2), do: true defp is_prime?(n) when n < 2, do: false defp is_prime?(n) do Enum.all?(2..round(:math.sqrt(n)), fn x -> rem(n, x) != 0 end) end This uses the span function as a generator and a filter predicate to identify primes.
Q
2. [Writing Task] Write a function to capitalize the sentences in a string. Each sentence is terminated by a period and a space ('. '). Assume 150-word output capacity for the logic explanation.
Solution:
To capitalize sentences in a string where casing is currently random, follow these steps (approx 150 words of logic): First, use `String.split(input, ". ")` to break the string into a list of individual sentences. Note that the delimiter is lost in the split. Second, apply a transformation function to each element using `Enum.map`. Inside this map, use `String.capitalize/1`, which lowercases the whole string and then capitalizes the very first character. This ensures 'tHe dOg.' becomes 'The dog.'. Finally, use `Enum.join(". ")` to re-attach the sentences with the proper punctuation. Example code: elixir def capitalize_sentences(str) do str |> String.split(". ") |> Enum.map(&String.capitalize/1) |> Enum.join(". ") end
To capitalize sentences in a string where casing is currently random, follow these steps (approx 150 words of logic): First, use `String.split(input, ". ")` to break the string into a list of individual sentences. Note that the delimiter is lost in the split. Second, apply a transformation function to each element using `Enum.map`. Inside this map, use `String.capitalize/1`, which lowercases the whole string and then capitalizes the very first character. This ensures 'tHe dOg.' becomes 'The dog.'. Finally, use `Enum.join(". ")` to re-attach the sentences with the proper punctuation. Example code: elixir def capitalize_sentences(str) do str |> String.split(". ") |> Enum.map(&String.capitalize/1) |> Enum.join(". ") end
Q
3. What occurs when you modify a printable character function example to use '99.0' (a float) where a charlist is expected?
Solution:
In Elixir, a charlist is a list of integers. If you provide '99.0', the system will raise a FunctionClauseError or a type error because '99.0' is a floating-point number, not an integer representing a codepoint. Charlist processing functions rely on the integer values (like 99 for 'c') to determine printability; floats do not satisfy the Enumerable protocol for lists or the bitstring requirements for binaries in this context.
In Elixir, a charlist is a list of integers. If you provide '99.0', the system will raise a FunctionClauseError or a type error because '99.0' is a floating-point number, not an integer representing a codepoint. Charlist processing functions rely on the integer values (like 99 for 'c') to determine printability; floats do not satisfy the Enumerable protocol for lists or the bitstring requirements for binaries in this context.